SMS dit: Deparametrization and path integral quantization of cosmological models