An efficient algorithm for finding short approximate non-tandem repeats