A cellular automata model for the formation of lava tubes