Top ERCOT executives resign after storm failure