tonnes of minerals mined at ok tedi