Theory of the formation of aerosols of volatile binary solutions through the ion-induced nucleation process