Tucson has a desert climate (Köppen BWh), with two major seasons, summer and winter; plus three minor seasons: fall, spring, and the monsoon. What is the average amount of  yearly precipitation in Tuscon in inches?