Tesla lays off nine percent of its workforce