Finite-amplitude models of convection in the early mantle