Added RoboMiner drill(), mine() and Mineral extraction.