Michael Sipser Daniel A. Spielman 1710-1722 1996 42 IEEE Transactions on Information Theory 6 db/journals/tit/tit42.html#SipserS96