Горнодобывающая промышленность Франции