Agriculture and aggregate productivity: A quantitative cross-country analysis