Ketchup and Mustard - the Iowa State NASA Robotic Mining Competition (RMC) robots from 2016