Regex Get Digits From String Python Definition