Crypto Currency: Whether to mine or trade