Research on Coordinated Longitudinal–Vertical Control of Articulated Mining Trucks Using Extension Theory | Synapse