Machine Unlearning: Taxonomy, Metrics, Applications, Challenges, and Prospects | Synapse