Measurement of the B-s(0)-> mu(+) mu(-) Branching Fraction and Effective Lifetime and Search for B-0 ->mu(+) mu(-) Decays