What are the type codes of the policies used by the customer "Dayana Robel"?
select policy_type_code from policies as t1 join customers as t2 on t1.customer_id = t2.customer_id where t2.customer_details = "Dayana Robel"