炼焦用煤的工艺性质是什么