Thermodynamics and statistical mechanics of the faceting of stepped Si(111)