Harnessing Large Language Models for Scalable and Effective Formative Assessment in Higher Education: A Review | Synapse