extract digits from strings