Rainfall along the coast averages about 10 inches (250 mm) of precipitation annually. What areas of San Diego typically experienced the greatest rainfall?