A Benders' decomposition code for the solution of nonlinear mixed integer programs