Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey