Grain size segregation and stratigraphy in aeolian ripples modelled with a cellular automaton