Deep Neural Network Compression for Aircraft Collision Avoidance Systems