converting an integer to a string in php