特斯拉软件工程副总裁David Lau离职。