the wilmot proviso stated slavery would not be allowed in the Mexican cession