The MakerDAO Platform and the Dai Stability Mechanism.