current build number in Jenkins declarative pipeline