Wal-Mart profit rises 9.3% in Q3