San Diego Central Library under construction: “The nerds have infiltrated the construction industry”