Zaslat SMS: Measurement of Bs0 Mixing Parameters from the Flavor-Tagged Decay Bs0→J/ψ