Musk is targeting systems that process tens of billions of dollars a day in payments for US government agencies and the officials that oversee them