RTbust: Exploiting Temporal Patterns for Botnet Detection on Twitter | Synapse