An efficient semi-implicit method for three-dimensional non-hydrostatic flows in compliant arterial vessels