IRS ordered to pay Tea Parties $3.5 million