How many types of aircraft are there?