Real-time and post-hoc compression for data from Distributed Acoustic Sensing. (September 2022)