Graph-based Threat Modeling, Security Analytics, and Threat Hunting