php program to extract integer from string