Step #1:
Since this was shot in RAW format, I published one version that is exposed "0" (The original was exposed for the cloudy sky). I will cal this the "Underexposed version" that is optimized for the bright areas, in this case the sky.