冶金三种煤气是什么气体类型