Gartner names Ping Identity a Leader in the Magic Quadrant for Access Management, Worldwide 2018