Mining and regional development