Tesla to lay off about 10% of workforce, including Austin employees