semi-infinite Ising model, rough wall, wetting, Wenzel's law