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