Corporate Share Repurchases in the 1990s: What Role Do Stock Options Play?