Discovering knowledge models in an open-ended educational game using concept formation