S-Procedure for positive switched linear systems and its equivalence to Lyapunov–Metzler inequalities