The subterm property for some equality sequent calculi