Class size and teacher effects in higher education