JSON Pointer implementation for PHP