Who was a leading advocate of dividing government into different branches?