Measurement of the effective B0 s → J/ψK0 S lifetime