Computational screening of new high voltage insulation gases with low global warming potential | Synapse