Choice Principles in Mathematics