Extractive Industries and Local Development in the Peruvian Highlands: Socio-Economic Impacts of the Mid-1990s Mining Boom