Automatic amortized analysis