какой тип машин используется в угольной шахте