Rate of convergence in Trotter's approximation theorem