An Updated Mixed Integer Programming Library MIPLIB