Applications Of Koopman Operator Theory To Highway Traffic Dynamics