Choosing a Data Model and Query Language for Provenance