Short-term scheduling of a combined natural gas and electric power system with wind energy