Phase separation in solid mixtures of helium-3 and helium-4