Email Record: A Petri Net-Based Approach to the Quantification of Data Center Dependability