what kind of coal is best for mining