A low Mass for Mars from Jupiter’s gas-driven migration