Jenkins Pipeline Dynamic Choice Parameter