They are done with an inner bevel and a double texture overlay; one for the details on the roofs and another one to get their color less uniform.

If you're interested I can post my layer style with the texture settings.