The asteroid belt and Mars' small mass explained by large-scale gas-driven migration of Jupiter