Measuring and modeling the dynamics of mitotic error correction