Segmentation of Coronary Artery Stenosis in X-ray Angiography using Mamba Models