Exploratory analysis of the potential impact of violence on HIV among female sex workers in Mombasa, Kenya: a mathematical modelling study