SARS-CoV-2 BA.5 vaccine breakthrough risk and severity compared with BA.2: a case-case and cohort study using Electronic Health Records in Portugal