ERCOT reserve margin declines further as municipality pulls Texas coal peaker