Path integral formulation of quantum mechanics