how wark stone crusher workshow was coke made for mining