Smart Choices and the Selection Monad