A Review of In Silico Tools as Alternatives to Animal Testing: Principles, Resources and Applications | Synapse