For how many years did the Warsaw Pact formally exist?