The evolution of a global magma ocean with olivine flotation