Minimization of XML Tree Pattern Queries in the Presence of Integrity Constraints