Localized economic modeling to support the US’ ambitious plan to ‘End the HIV Epidemic' by 2030