xml DTD examples