Optimal Execution Problem with Market Impact : Mathematical Formulation of the Model and Its Characterization by Viscosity Solution Theory (Viscosity Solutions of Differential Equations and Related Topics)