How the world’s biggest cruise ship was constructed