Love him or loathe him, Elon Musk is champion of efficiency, could save US government a fortune