what coking coal production of stainless steel