Automated Complexity Analysis Based on the Dependency Pair Method