A Generation Procedure for the Simple 3-Polytopes With Cyclically 5-Connected Graphs