If mining cryptocurrencies would perform useful tasks...