redo log 和 binlog 的区别与联系有哪些总结?