https://devops-db.com/jenkins-pipeline-parameters/