First-Order Mixed Integer Linear Programming