Examining windfall profit in K-ETS