What is the average number of years of service for current full-time full professors?