Semi-Automated Correction Tools for Mathematics-Based Exercises in MOOC Environments