Introduce a data-backed MintValue into the ledger API

[ana-pantilie]

We want to add a data-backed version of MintValue, since MintValue is a field of the TxInfo from the Plutus V3 ScriptContext.

In Plutus Tx, a type is data-backed if it is representationally equivalent to BuiltinData. For more info see https://plutus.cardano.intersectmbo.org/docs/working-with-scripts/optimizing-scripts-with-asData, specifically the section on ScriptContext.

Therefore, we need the following to be done:

• Add a new MintValue module in https://github.com/IntersectMBO/plutus/tree/master/plutus-ledger-api/src/PlutusLedgerApi/V3/Data. This module should introduce a data-backed version of the MintValue type linked to above. See https://github.com/IntersectMBO/plutus/blob/master/plutus-ledger-api/src/PlutusLedgerApi/V1/Value.hs and https://github.com/IntersectMBO/plutus/blob/master/plutus-ledger-api/src/PlutusLedgerApi/V1/Data/Value.hs for a model of a regular type and its corresponding data-backed type. Add tests and test the functional equivalence between the two types.
• Wherever the regular ledger API uses MintValue, the data-backed version of the API should use the new data-backed MintValue.
• Make the required modifications to the data-backed Constitution script tests and the data-backed Marlowe tests.