NBC: Ex-IRS contractor sentenced to 5 years in prison for leaking Trump tax records