What happened to such a large surplus of trained pilots after World War II? What percentage of them found employment as civilian pilots and what percentage never flew an airplane again in their lives?