Model suggests HIV vaccine still has key role in ending AIDS