What happens if a public holiday falls during an annual leave period?