No criminal charges for ex-IRS official