Shanghai's 7500-Ton District Moved by Robots: A Technological Marvel