Wavelet Galerkin methods for second-kind integral equations