Data compression math: what each database actually stores on disk