A look at the numbers behind holiday office parties. Could their decline since the pandemic mean they’ll become a thing of the past?