As China prepares to launch the world’s largest carbon market in 2017, the city of Shenzen has become a model for the nation, using smart green building design to cut energy use and emissions in a big way.