On the complexity of XPath containment in the presence of disjunction, DTDs, and variables