On the Brueckner theory of pairing in semi-infinite nuclear matter beyond the local density approximation