Lawsuit claims IRS illegally implementing key part of ObamaCare