如何用PHP移除字符串开头的数字字符?