Assessment of some semi-analytical models for non-linear modelling of borehole stresses