extract numeric value from string