Core‐mantle differentiation in Mars