what machines use to mine coal