Kim Ng hired as Marlins GM in historic baseball move