php-brt-binary-codec PHP Convert between json and hex representations of transactions and ledger entries