Measurement of the Bs0 →μ+μ- Branching Fraction and Effective Lifetime and Search for B0 →μ+μ- Decays