macchine utilizzate per l estrazione del carbone