What is the total amount of money spent by Lucas Mancini?
select sum(t2.total) from customers as t1 join invoices as t2 on t1.id = t2.customer_id where t1.first_name = "Lucas" and t1.last_name = "Mancini";