ACTF: An efficient lossless compression algorithm for time series floating point data | Synapse