Kyrix: A Detail-on-Demand Visualization System