NASA Lunabotics Robotic Mining Competition 10th Anniversary (2010–2019): Taxonomy and Technology Review