The representation of human choices in business process models