Spain: Legislative adjustment of working hours during extreme heat