San Francisco Main Library : a healthy building