Modern Koopman Theory for Dynamical Systems