machines utilisées pour l extraction du charbon