In thermal processing, the D-value (decimal reduction time) is defined as the time required at a given temperature to reduce the microbial population by how much?