Translate the following question to SQL: What are all the policy types of the customer named "Dayana Robel"?

Schema: CREATE TABLE Customers (
    Customer_ID INTEGER NOT NULL  PRIMARY KEY,
    Customer_name VARCHAR(40)
);

CREATE TABLE Services (
    Service_ID INTEGER NOT NULL  PRIMARY KEY,
    Service_name VARCHAR(40)
);

CREATE TABLE Available_Policies (
    Policy_ID INTEGER NOT NULL  PRIMARY KEY,
    policy_type_code CHAR(15),
    Customer_Phone VARCHAR(255),
    UNIQUE (Policy_ID)
);

CREATE TABLE Customers_Policies (
    Customer_ID INTEGER NOT NULL  PRIMARY KEY,
    Policy_ID INTEGER NOT NULL  PRIMARY KEY,
    Date_Opened DATE,
    Date_Closed DATE,
    PRIMARY KEY (Customer_ID, Policy_ID),
    UNIQUE (Customer_ID, Policy_ID),
    FOREIGN KEY (Policy_ID) REFERENCES Available_Policies(Policy_ID),
    FOREIGN KEY (Customer_ID) REFERENCES Customers(Customer_ID)
);

CREATE TABLE First_Notification_of_Loss (
    FNOL_ID INTEGER NOT NULL  PRIMARY KEY,
    Customer_ID INTEGER NOT NULL,
    Policy_ID INTEGER NOT NULL,
    Service_ID INTEGER NOT NULL,
    UNIQUE (FNOL_ID),
    FOREIGN KEY (Customer_ID) REFERENCES Customers_Policies(Customer_ID),
    FOREIGN KEY (Policy_ID) REFERENCES Customers_Policies(Policy_ID),
    FOREIGN KEY (Service_ID) REFERENCES Services(Service_ID)
);

CREATE TABLE Claims (
    Claim_ID INTEGER NOT NULL  PRIMARY KEY,
    FNOL_ID INTEGER NOT NULL,
    Effective_Date DATE,
    UNIQUE (Claim_ID),
    FOREIGN KEY (FNOL_ID) REFERENCES First_Notification_of_Loss(FNOL_ID)
);

CREATE TABLE Settlements (
    Settlement_ID INTEGER NOT NULL  PRIMARY KEY,
    Claim_ID INTEGER,
    Effective_Date DATE,
    Settlement_Amount REAL,
    UNIQUE (Settlement_ID),
    FOREIGN KEY (Claim_ID) REFERENCES Claims(Claim_ID)
);
user
SELECT DISTINCT t3.policy_type_code FROM customers AS t1 JOIN customers_policies AS t2 ON t1.customer_id  =  t2.customer_id JOIN available_policies AS t3 ON t2.policy_id  =  t3.policy_id WHERE t1.customer_name  =  "Dayana Robel"
assistant