Oslo Rådhus: Den kunstneriske utsmykking