python常用的几种字符串替换函数strip、replace、sub