how did miners know where to mine coal