Spontaneous CP violation from vacuum alignment in S4 models of leptons