Fractional Crystallization of a Martian Magma Ocean and Formation of a Thermochemical Boundary Layer at the Base of the Mantle