Finding and disposing of underwater mines on the sea floor is one of the US Navy's hardest and most dangerous tasks. Robots could do the work safer.