For a planet with a roughly circular orbit, how does the planet's velocity change when the orbital radius increases or
decreases?