دماوند و ضحاک؛ از روایت شاهنامه و پهلوی