EXPLAINER-Is Elon Musk's government efficiency drive legal?