Context-adaptive binary arithmetic coding