Exploration: Safe and clean mining on Earth and asteroids. (1st June 2020)