Discrete Flavor Symmetries and Models of Neutrino Mixing