Leram - From Classical to Quantum Mechanics: An Introduction to the Formalism, Foundations and Applications