Walton family sold $4.39 billion worth of Walmart shares during 2023's first half