“The city of Tokyo, as part of its "Tokyo Cool Biz" initiative, has permitted male municipal workers to wear shorts to work to save on air conditioning costs.”