Twitter has a serious bot problem, and Wikipedia might have the solution