7-Eleven's superstore division might go public