Visibly Pushdown Transducers for Approximate Validation of Streaming XML