Translate the following question to SQL: Show the names of the buildings that have more than one company offices.

Schema: CREATE TABLE buildings (
    id INT   PRIMARY KEY,
    name TEXT,
    City TEXT,
    Height INT,
    Stories INT,
    Status TEXT,
    UNIQUE (id)
);

CREATE TABLE Companies (
    id INT   PRIMARY KEY,
    name TEXT,
    Headquarters TEXT,
    Industry TEXT,
    Sales_billion REAL,
    Profits_billion REAL,
    Assets_billion REAL,
    Market_Value_billion TEXT,
    UNIQUE (id)
);

CREATE TABLE Office_locations (
    building_id INT   PRIMARY KEY,
    company_id INT   PRIMARY KEY,
    move_in_year INT,
    PRIMARY KEY (building_id, company_id),
    UNIQUE (building_id, company_id),
    FOREIGN KEY (company_id) REFERENCES Companies(id),
    FOREIGN KEY (building_id) REFERENCES buildings(id)
);
user
SELECT T2.name FROM Office_locations AS T1 JOIN buildings AS T2 ON T1.building_id  =  T2.id JOIN Companies AS T3 ON T1.company_id  =  T3.id GROUP BY T1.building_id HAVING COUNT(*)  >  1
assistant