Walmart CTO departs after laying digital groundwork