Industrial gas turbines