How much of mined copper is used for cables and electrical wiring