Read XSD into PHP