Dallas Stars hire Lindy Ruff as new coach