Convert User Input String Python Documentation Tutorial