what tools are use to mine coal