Order―disorder phase boundary between ice VII and VIII obtained by first principles