Measurement of e+e−→τ+τ− at high energy and properties of the τ lepton