How Much Energy Do Crypto Miners Consume?