Extracting Numbers From A String In Python