DataSeries: an efficient, flexible data format for structured serial data
failure trends in a large disk drive population .