Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development