Temperature and work: Time allocated to work under varying climate and labor market conditions