Predicting the potential impact of a cytotoxic T-lymphocyte HIV vaccine: how often should you vaccinate and how strong should the vaccine be?