Redirect - データ取得のパイプライン化とバイナリサーチで、 MongoDB からの CSV 生成を20倍高速化