The interaction between financial and employment contracts: A formal model of Japanese Corporate Governance