Mining Users Skills Development From Interaction Traces: an exploratory study.