[python] Replace part of a string in Python?