President Xi pays tribute to Deng Xiaoping in Shenzhen