Algebraic exact inference for rater agreement models