Modeling Cyber Threat Intelligence