Certified algorithms for numerical semigroups in Rocq