MaxSimE Explaining Transformer-based Semantic Similarity via Contextualized Best Matching Token Pairs