Developing an off-planet mining industry