SMS dit: Skills-Based Grading: a novel approach to teaching formal semantics