Document-Level Tabular Numerical Cross-Checking: A Coarse-to-Fine Approach