When HLS Meets FPGA HBM: Benchmarking and Bandwidth Optimization