Modeling melting of the Martian mantle and crust-mantle differentiation with global thermochemical evolution models