How 432 robots are relocating a 7,500-ton historic building