converting php array to json string