Mobile texting: can post-ASR correction solve the issues? an experimental study on gain vs. costs