Demystifying Crypto Trading Bots: How They Work and Why Traders Use Them