Modelling HIV vaccination