PHP: Crear JSON en disco