différent équipements utilisés dans l industrie minière charbon