How many ways can a baseball manager make a 9-player batting order from a group of 16 players?