Intelligently Aiding Human-Guided Correction of Speech Recognition