Coding rotations on intervals