Using Wavefront Tracing for the Visualization and Optimization of Progressive Lenses