How mixing vaccines could help end India’s second-dose crunch