益生菌的定义是什么