We’ve officially found 6k exoplanets, NASA says