copy/paste XSD from RFC 5261