System design of 60 K Stirling-type coaxial pulse tube coolers for HTS RF filters