Leave your bicycle helmet at home for cycling in Portugal, or not