Formulas for estimating the costs averted by sexually transmitted infection (STI) prevention programs in the United States