population of vail, colorado