what do you mine coal with