Absolute redox potential of liquid water: a first-principles theory