python count occurrences of character in string