For a student who wants to work in the United States after graduation, when is it a good time to graduate - May or December?