Privacy-preserving genomic computation through program specialization