PolarDB: Formula-Driven Dataset for Pre-Training Trajectory Encoders | IEEE Conference Publication | IEEE Xplore