Miami Marlins hire Kim Ng as MLB’s first female, East Asian American general manager