effect of mining development on industrial development