RAMI: an Inspection and Maintenance Competition for Underwater Robots | IEEE Conference Publication | IEEE Xplore