A wandering Jupiter stunted Mars’s growth and reshaped the asteroid belt