Numerical simulation and experimental verification on the pneumatic hammer in aerostatic thrust bearings with porous restrictor