Keystroke-level models for user performance with word prediction