Dual-purpose concrete domes: A strategy for the revival of thin concrete shell roofs. (December 2020)