The population-level impact of doxycycline post-exposure prophylaxis on syphilis in King County, WA: an interrupted time series analysis | Synapse