superman in snyder cut explained