Mining industry will contribute hugely to continent’s development