Example-based machine translation