Finite Disjunctive Programming Characterizations for General Mixed-Integer Linear Programs