A lossless image compression system using a binary arithmetic coder