Positive-displacement air compressor