A guaranteed-convergence framework for passivity enforcement of linear macromodels