Score one for Seattle: Programmers work harder when it rains