Some rigorous results on phase segregation for stochastic cellular automata