corosync + pacemakerによるMySQL冗長化