Automated Buffer Sizing of Dataflow Applications in a High-Level Synthesis Workflow