Mixing mixed-integer inequalities