Manufacturing an exact solution for 2D thermochemical mantle convection
models