Within the executive branch, what did the three department heads and the attorney general come to be known as?