Trump praised Australia's 12% retirement system and wants a U.S. version. Here's how it works, what it could mean for 401(k)s ...