Market Extra: Is the stock market open Christmas Eve? Holiday and New Year’s trading hours