What is the definition of separation of power in history