NC State introduces Dave Doeren as new football coach