Event-triggered leader-following formation control of general linear multi-agent systems with distributed infinite input time delays