Cut elimination and strong separation for substructural logics: An algebraic approach