Jinwei Zhao, Jianping Pan: LENS: A LEO Satellite Network Measurement Dataset - 202402 - Part 1. Zenodo 2025