Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents