What about purchasing RH Cluster Suite? I believe you could do this using ipvs that comes with the RHCS toolset. Try looking through the documentation page on redhat's site
http://www.redhat.com/docs/manuals/csgfs/
I just went to a RH class on this stuff and we set up failover apache servers. Should work the same really for mail I think.
However, if you're strapped for cash, I'm sure there are other options for this. One dirt cheap thing would be just manage it though heartbeat scripts to update DNS and bounce a hostname back and forth. Not very elegant but it could work. I just use a round-robin DNS entry to point to both IPs.