Next-to-leading order electroweak corrections to pp → W+W− → 4 leptons at the LHC in double-pole approximation