coking coal production vertical shaft process