IntrEx: A Dataset for Modeling Engagement in Educational Conversations