Depth vs time of quakes under Mammoth Mountain