What is the difference between an Employer ID number and a TIN?