What does a professor do, other than lecture for a few hours a week?