Economist Alex de Vries calculates the amount of energy used by specific Bitcoin miners in their lifetime, concluding that their energy use is a “big problem”.