What Is a Bitcoin Miner Virus and How Can You Remove It?