When Apache Spark Meets FPGAs: A Case Study for Next-Generation DNA Sequencing Acceleration