Factbox-Young techies underpin Musk’s drive to slash size of US government