Rotation of planets