Admissible surfaces in progressive addition lenses