json schema default value boolean