Meta Switches to MySQL Raft to Improve Reliability and Operational Simplicity