Dave Smith introduced as RPI men's hockey coach