Tesla has previously used Samsung's fab in Texas for their HW3 chip. Is there any source saying D1 is built by TSMC instead?