Quantos militares têm a Rússia?