Measurement of the Ds→μνμ branching fraction and of the Ds decay constant