Explaining the deadly volcanic tsunami that hit Indonesia