Twitter Bot Detection in the Context of the 2018 US Senate Elections