Python parsing numbers out of strings