Miniature Double-Inlet Pulse Tube Cryocooler: Design by Thermoacoustic Theory Compared with Preliminary Experimental Results