Berapa banyak tambang batubara terbuka yang memiliki formalitas di Shanxi