Development of safe and highly protective live-attenuated SARS-CoV-2 vaccine candidates by genome recoding