The replication terminator protein of E. coli is a DNA sequence-specific contra-helicase