The dynamics of magma mixing in a rising magma batch