Market Extra: Is the stock market open on Christmas Eve? Here are holiday and New Year’s trading hours