Text this: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA