Singapore, Shenzhen deepen digital economy cooperation