Mathematical models of major arterial occlusion