How does Elon Musk define ‘efficiency’? We asked his former employees