Empirical results on the size distribution of business cycle phases