Demystifying Databases: Correctness Anomalies Under Serializable Isolation