CtrLog: Which Compression Format Should I Use for HDFS?