MongoDB выходит на биржу при оценке в $1,2 млрд