Mandatory repatriation tax is constitutional