How many different batting orders are possible if 9 people are chosen from a group of 12 on a baseball team?