Definability and complexity: Universal Horn classes of finite structures