The discovery dates of 2017's 10 largest copper-producing mines show exploration has slowed and more investment is needed to keep up with global demand for the red metal.