Rainfall along the coast averages about 10 inches (250 mm) of precipitation annually. What is the average annual precipitation along San Diego's coast?