How many exoplanets have been discovered?