Investigation of the global dynamics of cellular automata using Boolean derivatives