IRS guidance offers useful reminders about employee discount plans