Deriving ideal student models to propel intelligent tutoring systems