The Leopard 2PL is a modernized variant of the Leopard 2 main battle tank operated specifically by the land forces of which NATO country?