coal mining methods pdf book