Modelling the ICE Standard with a Formal Language for Information Commerce