Members of WPI's orchestra perform at the annual holiday concert.