Charting EDA: Characterizing Interactive Visualization Use in Computational Notebooks With a Mixed-Methods Formalism