Contrail Modeling and Simulation