Using robots to repair damaged sections of coral reefs