str.casefold() vs str.lower() in Pytho