Koopman Operator Theory