Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming