Minis in U.S. may get dual-clutch gearbox later