Coding for the binary energy harvesting channel with finite battery | IEEE Conference Publication | IEEE Xplore