Measurement of the $B_s^0$ lifetime in the flavor-specific decay channel $B_s^0 \to D_s^- μ^+νX$ — arXiv2