Coronavirus: what we know about booster shots and mixing vaccines