quelles machines utilisent pour extraire du charbon