Constraints on flavor-changing Z' models by B(s) mixing, Z' production, and B(s) ---> mu+ mu-