Investment treaty arbitration: how much does it cost? How long does it take?