Contributions of Oliver Hart and Bengt Holmström to Contract Theory