Text this: In silico genome-scale metabolic modeling and in vitro static time-kill studies of exogenous metabolites alone and with polymyxin B against Klebsiella pneumoniae