duplicate attribute in xsd