An Expansion-Based Approach for Quantified Integer Programming