Nonlinear model predictive control with logic constraints for COVID-19 management