Towards Optimal District Heating in China with Deep Reinforcement Learning