Review of mathematical models of HSV-2 vaccination: Implications for vaccine development