You may have heard that earlier this week a consortium of billionaires has started a company called Planetary Resources to mine the asteroids. If→