An autonomous underwater explorer for flooded mines