Graph partition using MIP