Buatlah analisis komprehensif yang membandingkan tiga model konsistensi utama: Strong Consistency, Eventual Consistency, dan Causal Consistency. Untuk setiap model, berikan penjelasan matematis atau logis mengenai perilakunya, kemudian ilustrasikan dengan skenario sistem nyata (misalnya: sistem perbankan, jejaring sosial, atau IoT). Jelaskan implikasi dari setiap pilihan model terhadap ketersediaan (availability) dan toleransi partisi (partition tolerance) sesuai dengan teorema CAP, serta bagaimana menangani konflik penulisan (write conflicts) pada model Eventual Consistency menggunakan teknik CRDTs atau Vector Clocks.