Diphtheria, pertussis, and measles in Portugal before and after mass vaccination: A time series analysis