Stateful Dataflow Multigraphs: A Data-Centric Model for High-Performance Parallel Programs