A TEI XQuery API using Zorba