The Industrial Labor Force of Italy's Provinces: Estimates from the Population Censuses, 1871-1911