After finding thousands of planets, NASA's Kepler mission ends