How many lives could be saved through malaria vaccination?