Automatic Analysis of the Complexity of Recursive Functions