Surface relaxation of the platinum (100)−(1 × 1) surface at 175 k