Tesla’s top HR executive has left the company, sources say