Tesla lays off roughly nine percent of workforce