Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility