Royal Caribbean launches world's largest cruise ship