Translate the following question to SQL: What are the names of the technicians that are assigned to repair machines with more point values than 70?

Schema: CREATE TABLE repair (
    repair_ID INT   PRIMARY KEY,
    name TEXT,
    Launch_Date TEXT,
    Notes TEXT,
    UNIQUE (repair_ID)
);

CREATE TABLE machine (
    Machine_ID INT   PRIMARY KEY,
    Making_Year INT,
    Class TEXT,
    Team TEXT,
    Machine_series TEXT,
    value_points REAL,
    quality_rank INT,
    UNIQUE (Machine_ID)
);

CREATE TABLE technician (
    technician_id REAL   PRIMARY KEY,
    Name TEXT,
    Team TEXT,
    Starting_Year REAL,
    Age INT,
    UNIQUE (technician_id)
);

CREATE TABLE repair_assignment (
    technician_id INT   PRIMARY KEY,
    repair_ID INT   PRIMARY KEY,
    Machine_ID INT   PRIMARY KEY,
    PRIMARY KEY (technician_id, repair_ID, Machine_ID),
    UNIQUE (technician_id, repair_ID, Machine_ID),
    FOREIGN KEY (Machine_ID) REFERENCES machine(Machine_ID),
    FOREIGN KEY (repair_ID) REFERENCES repair(repair_ID),
    FOREIGN KEY (technician_id) REFERENCES technician(technician_id)
);
user
SELECT T3.Name FROM repair_assignment AS T1 JOIN machine AS T2 ON T1.machine_id  =  T2.machine_id JOIN technician AS T3 ON T1.technician_ID  =  T3.technician_ID WHERE T2.value_points  >  70
assistant