Starlink satellites launched, Musk looks to Mars