A query explainer for Datomic