Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs