Validating if US zip codes are well formed using a validation rule with REGEX