Potassium isotope composition of Mars reveals a mechanism of planetary volatile retention