Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts