我们如何使用MySQL函数将字符串填充到另一个字符串中?