Seol mar théacs é seo: Internal proof calculi for modal logics with separating conjunction