Research on the Optimization Design of the Atrium Space Form in University Libraries Based on the Coupling of Daylighting and Energy Consumption | Synapse