Cerium/lead and lead isotope ratios in arc magmas and the enrichment of lead in the continents