Shenzhen (深圳): top things to do in the high-tech city of China