Coinhive stops digging, but cryptomining still dominates