botanical garden on former coal mine in Chinese city of Taiyuan