Tracking the weathering of basalts on Mars using lithium isotope fractionation models