Specifications Grading: Restoring Rigor, Motivating Students, and Saving Faculty Time