Demolition Man: differenze tra le versioni