Mathematical Lattice Theory