Binary codes capable of correcting deletions, insertions and reversals