Ferric iron evolution in magma ocean models