Text this: Comparison of HIV self-test distribution modalities to reduce HIV transmission and burden in western Kenya: a mathematical modelling study