RegEx for capturing digits in a string