comment le charbon est extrait du sol