Somewhere between the midnight buffet and the sunrise yoga class, a fleet of autonomous machines glides across 200,000 square feet of polished deck space aboard one of the world’s largest cruise ships. Nobody notices. That is exactly the point. The cruise industry,…