Using Markovian stochastic modelling to predict energy performances and thermal comfort of passive solar systems