A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education