Designing Synthetic Spike-In Controls For Next-Generation Sequencing And Beyond