IRS files tax lien against Jim Justice