Copper miners’ production cuts pay off