How the mega-backdoor Roth works