The mechanism and high-free-energy transition state of lac repressor–lac operator interaction