Theoretical modeling and experimental verifications of the single-compressor-driven three-stage Stirling-type pulse tube cryocooler