A Mamba-based Network for Semi-supervised Singing Melody Extraction Using Confidence Binary Regularization