Models and formalisms for semantic markup