Formalizing the Field of Data Engineering