The Crank-Nicolson Galerkin method and convergence for the time-dependent Maxwell-Dirac system under the Lorentz gauge