Lie algebras and their representations (Michaelmas 2018)