Trajectory attractor approximation of the 3D Navier-Stokes system by a Leray-α model