MongoDB CEO resigns to join Meta