Royal Caribbean's costly digital transformation is paying off, says CEO