7-Eleven says CEO Joe DePinto to retire

President Stan ‌Reynolds and EVP ⁠Doug Rosencrans named interim co-CEOs as company begins process of identifying ‌successor