covid_booster_strategies Codebase for the manuscript on covid booster dose strategies submitted December 2022