Second 7-Eleven coming to Waco