LITES, an intelligent tutoring system for legal problem solving in the domain of duth civil law