New bills aim to get $3.5 million in back taxes from federal workers