encode json with php json encode`