谢桂林 谢桂林年男天津人中国矿山电气化与自动化专家曾任中国矿业学院教授博士生导师