Erlang Data Framework with Sequential Consistency