Astrophysical: Extrasolar rocky planets