The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization