PVTx measurements of the carbon dioxide + trans-1, 3,3,3-tetrafluoroprop-1-ene binary system