Statistical properties of the eigenfrequency distribution of three-dimensional microwave cavities.