Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)