A MOOS App for managing mine hazards, used in MIT course 2.680 Spring 2013