Text this: Mining activities and local economic development : evidence from Indonesian provinces