What percent of tenured sociologists work during the summer?