What day was designated by congress to be the Tuesday following the first Monday in November in even-numbered years?