Multi-language Diversity Benefits Autoformalization