contribution of mining to nigerian gnp