Unsupervised quantitative methods to analyze student reasoning lines: Theoretical aspects and examples