Former Walmart exec Jack Shewmaker dies at 72