What was the russian empire under during the Polish–Russian War of 1792?