quelles machines utilisent pour extraire le charbon