Quantos planetas são conhecidos no universo?