A Rule-Based Formalism for Describing Collaborative Adaptive Courses