Ping Identity files to go public, betting investors will favor shrinking losses over fast growth