How do astronomers discover new planets outside of our solar system?