Made in China: the world’s largest and most advanced ultra-deep-water semi-submersible drilling rig