different types of public holidays in China