Option Exercise Games: An Application to the Equilibrium Investment Strategies of Firms