MySQL User Defined Functions module implementing REGEXP_...() functions