how slicing of string is done in python