Walmart exec to become Obama’s budget chief