PADBen: A Comprehensive Benchmark for Evaluating AI Text Detectors Against Paraphrase Attacks