MINTO, a mixed INTeger optimizer