O que são miners e web miners, e por que eles são detectados pelos antivírus.