Towards Ontology-Driven Information Systems: Redesign and Formalization of the REA Ontology