Do-it-Yourself Semantics for Classical Sequent Calculi, Including Ramified Type Theory