Comparing Error Correction Procedures: Incorporating Effective and Efficient Teaching with Learner Preference