An optimized probability estimation model for binary arithmetic coding