Wal-Mart names new CEO; company vet Doug McMillon to succeed Mike Duke