An evaluation of binary XML encoding optimizations for fast stream based xml processing