Both presidential candidates have proposed eliminating federal tax on tips for service and hospitality workers. Should tips be taxed?