extract float from string python