Opacity for switched linear systems: Notions and characterization