Lithium isotope constraints on crust–mantle interactions and surface processes on Mars