so using bots for bitmining is actually allowed? someone told me its not