what machine do you mine coal