The OPTMILP Procedure