3DPro: Querying Complex Three-Dimensional Data with Progressive Compression and Refinement