Data compression is subject to a space–time complexity trade-off