The marine robots that are exploring the deep waters of the Gulf of Mexico