HoTT course notes