xsd required restriction