two days holiday in federal depts