Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies