python中进行多个字符替换的方法介绍