Once rock is heated in the lower parts of the mantle, what is the next step of rock formation by convection?