Shell coal IGCCS with carbon capture: Conventional gas quench vs. innovative configurations