Reverse-Engineering Conjunctive Queries from Provenance Examples