Towards a negotiable student model for constraint-based ITSs