¿Qué tipos de estrellas forman planetas rocosos?