Expansivity , Permutivity , and Chaos for Cellular Automata 1