Okun’s law and the unemployment surprise of 2009