Automatic Summarization of Student Assignment Documents to Support Lecturer Assessment Using IndoBERT and K-Means Clustering