The empirical relationship between average asset correlation, firm probability of default, and asset size