mining and crushing of copper ore