Study: undocumented workers in U.S. pay $7 billion in annual taxes