Discrete Fredholm Properties and Convergence Estimates for the Electric Field Integral Equation