关于国家节假日的相关规定有哪些?