Raising Safety and Throughput with Smarter ATC Systems