Efficient Computation of Exact IRV Margins