San Jose's Richard Meier-designed city hall: To Leed, or Not to Leed