Is Christmas Eve a federal holiday? Here’s what to know after Biden's executive order