Citation: 9C_339/2023 E. A

A.a. Der Schweizerische Baumeisterverband (SBV), die GBI Gewerkschaft Bau & Industrie (heute: Unia) sowie die Gewerkschaft SYNA schlossen am 12. November 2002 einen Gesamtarbeitsvertrag für den flexiblen Altersrücktritt im Bauhauptgewerbe (GAV FAR), mit dessen Vollzug die Stiftung für den flexiblen Altersrücktritt im Bauhauptgewerbe (Stiftung FAR) betraut ist. Durch Beschluss des Bundesrats vom 5. Juni 2003 wurde der GAV FAR erstmals teilweise allgemeinverbindlich erklärt (AVE GAV FAR). A.b. Die A.________ AG bezweckt laut Handelsregisterauszug insbesondere die Vermittlung und den Verleih von Arbeitskräften, die Verwaltung von Gesellschaften, Liegenschaften und beweglichen Vermögenswerten aller Art sowie die Führung von Sekretariaten und Geschäftsstellen für Unternehmungen, Verbände und Syndikate. A.c. Die B.________ AG bezweckte laut Handelsregisterauszug insbesondere die Entwicklung, das Qualitätsmanagement, den Unterhalt und die allgemeine Instandstellung oder den Rückbau von Brandschutzabschottungen und Kompensatoren in der Industrie. Sie wurde am 1. Juni 2018 aus dem Handelsregister gelöscht.