Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers