How to mine an asteroid