A Facebook bot for moderating groups