StaxMate: Automatic Shifting for Streaming XML Processing