Regulating Bots on Social Media Is Easier Said Than Done. For One Thing, Defining "Bot" Is Tricky.