BaseX – a highly W3C compliant XQuery processor