A Look Into the Popularity of the BitMex Trading Robot