how to extract digits from string in java