Real options in a dynamic agency model, with applications to financial development, IPOs, and business risk