Lindy Ruff on Stars’ ‘hard-fought’ OT loss