In which countries, contracts tend to be longer and more specific to safeguard against the substantial leeway in which judges can interpret the contracts?