A República Velha terminou com a Revolução de 1930. Quem assumiu a presidência após essa revolução?