Classifying social media bots as malicious or benign using semi-supervised machine learning