Derek Jeter leaves post as Miami Marlins’ CEO, shareholder