Aggregate industrial energy consumer response to wholesale prices in the restructured Texas electricity market