Model-driven identification of dosing regimens that maximize the antimicrobial activity of nitric oxide