Saudi Arabia considers new mining index in diversification push