Theory of Phase Separation in Solid 3He-4He Mixtures