How water turns into ice — with quantum accuracy