A short course in ordinal analysis