Vaxformer: Antigenicity-controlled Transformer for Vaccine Design Against SARS-CoV-2