Shenzhen: China's 'miracle city' turns 40