Cellular automata simulation of lava flows: Applications to civil defense and land use planning with a cellular automata based methodology