On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms