Binary codes capable of correcting deletions, insertions, and reversals