Text this: Performance Modeling for FPGAs: Extending the Roofline Model with High-Level Synthesis Tools