Orbital data centres, extraterrestrial energy: Detailing Musk’s ambitions with $1.75 bn SpaceX IPO