What is the difference between planetary revolution and rotation? Are they the same thing?