Naomi: a new modelling tool for estimating HIV epidemic indicators at the district level in sub‐Saharan Africa. (21st September 2021)