Jeter quits as Marlins chief executive