Trends in copper, lead, zinc, and nickel ore prices in the global market