Biomining and methanogenesis for resource extraction from asteroids. (November 2015)