How many currencies are used in the Real Effective Exchange Rate (REER) that is both trade and export weighted indicator?