Does the Russian government really spend 40% of its budget on the military?