Copper: what mining investors should know