Japan office workers cool off with shorts amid record-breaking summers