How many different ways are there to pick a pitcher, a catcher, and a shortstop for a baseball team from a group of 12 people?​