Mining in space, and specifically on asteroids, is an aspect of the space industry that many companies and governments are actively exploring.