The dual-clutch automatic gearbox is a type of transmission found on many modern cars, but how does it work?