Mini-course on Performance Engineering: How to write code that runs fast