Seattle experiences its heaviest rainfall during the months of November, December and January, receiving roughly half of its annual rainfall (by volume) during this period. What quantity of yearly rainfall does Seattle have during the winter?