What country's government, on which the US government was modeled, did not formally implement separation of powers