An Introduction to Quantum Mechanics (From Facts to Formalism)