koopman operator theory