Are the time settings for the programmer in daylight saving time, and do they change automatically when necessary.