Convert Python-format placeholders to numerical placeholders for machine translation.