Which of the following is the way in which major political parties formally select nominees for the presidential election?