Spark: Sparse Hierarchical Energy Minimization for Scalable Prediction of RNA Pseudoknots | Synapse