Zaslat SMS: Verification by error modeling