An empirical study of the distribution of earthquakes with respect to rock type and depth