The Social Media Bot Problem, and How the Latest Investigation Is Bringing It Into Focus