Cellular Automata and GPGPU: An Application to Lava Flow Modeling