early ways of mining coal