InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments