Who discovered 9 planets