Types with potential: polynomial resource bounds via automatic amortized analysisJán HoffmannSold outTrack