Targeted Protein Degradation in the Digital Era: Computational Challenges and Opportunities for PROTACs | Synapse