Semi-implicit 3D SPH on GPU for lava flows