How to calculate the diameter when ordering lenses with a final edge thickness in mind