Coal Mining Notebook. 143 Ways to Boost Production and Lower Costs.