what machines in particular are used in mining for coal