A Course in In-Memory Data Management: The Inner Mechanics of In-Memory Databases