چقدر معادن زغال سنگ هستند