Faster integer-feasibility in mixed-integer linear programs by branching to force change