Vehicular Applications of Koopman Operator Theory -- A Survey