Mathematical Modeling of Insider Trading