Search theory and unemployment