Seol mar théacs é seo: Convection in a mushy layer along a vertical heated wall