python extracting characters from string