Osmoregulation by potassium transport in Escherichia coli