中国矿业大学创办于（）年。